#ifndef __MODEL_H__
#define __MODEL_H__
#include "common.h"

#include "verilated.h"
#include "Vtop.h"
#include "Vtop___024root.h"

#include "Vtop__Dpi.h"

extern uint64_t *gpr;
extern Vtop *top;
extern uint32_t inst_cnt;
extern bool sim_finish;
extern bool silent;
extern bool continue_flag;
#endif